命題26
もし、2つの数が2つの数に対し、両方がそれぞれに互いに素ならば、そのとき、それらの積もまた互いに素である。
2つの数AとBを、2つの数CとDに対し、両方がそれぞれ両方に対し互いに素であるとし、AはBをかけられてEを作り、CはDをかけられてFを作るとせよ。
EとFは互いに素であると主張する。
数AとBのそれぞれはCに対し互いに素であるので、それゆえに、AとBの積もまたCに対し互いに素である。
しかし、AとBの積はEである。
それゆえに、EとCは互いに素である。propositionZ.24
同じ理由でEとDもまた互いに素である。
それゆえに、数CとDのそれぞれはEに対し互いに素である。
それゆえに、CとDの積もまたEに対し互いに素である。
しかし、CとDの積はFである。
それゆえに、EとFは互いに素である。propositionZ.24
それゆえに、もし、2つの数が2つの数に対し、両方がそれぞれに互いに素ならば、そのとき、それらの積もまた互いに素である。
証明終了